Regularity Properties and Definability in the Real Number Continuum Idealized forcing, polarized partitions, Hausdorff gaps and mad families in the projective hierarchy
نویسندگان
چکیده
135
منابع مشابه
Polarized partitions on the second level of the projective hierarchy
A subset A of the Baire space ω satisfies the polarized partition property if there is an infinite sequence 〈Hi | i ∈ ω〉 of finite subsets of ω, with |Hi| ≥ 2, such that ∏ iHi ⊆ A or ∏ iHi ∩ A = ∅. It satisfies the bounded polarized partition property if, in addition, the Hi are bounded by some pre-determined recursive function. DiPrisco and Todorčević [6] proved that both partition properties ...
متن کاملDefinability of Restricted Theta Functions and Families of Abelian Varieties
We consider some classical maps from the theory of abelian varieties and their moduli spaces, and prove their definability on restricted domains in the o-minimal structure Ran,exp. In particular, we prove that the projective embedding of the moduli space of the principally polarized abelian variety Sp(2g,Z)\Hg is definable in Ran,exp when restricted to Siegel’s fundamental set Fg . We also prov...
متن کاملCichoń's diagram, regularity properties and Δ13 sets of reals
We study regularity properties related to Cohen, random, Laver, Miller and Sacks forcing, for sets of real numbers on the ∆13 level of the projective hieararchy. For ∆12 and Σ 1 2 sets, the relationships between these properties follows the pattern of the well-known Cichoń diagram for cardinal characteristics of the continuum. It is known that assuming suitable large cardinals, the same relatio...
متن کاملLadder gaps over stationary sets
For a stationary set S ⊆ ω1 and a ladder system C over S, a new type of gaps called C-Hausdorff is introduced and investigated. We describe a forcing model of ZFC in which, for some stationary set S, for every ladder C over S, every gap contains a subgap that is CHausdorff. But for every ladder E over ω1 \ S there exists a gap with no subgap that is E-Hausdorff. A new type of chain condition, c...
متن کاملExpansions of the real field by open sets: definability versus interpretability
An open U ⊆ R is produced such that (R,+, ·, U) defines a Borel isomorph of (R, +, ·, N) but does not define N. It follows that (R,+, ·, U) defines sets in every level of the projective hierarchy but does not define all projective sets. This result is elaborated in various ways that involve geometric measure theory and working over o-minimal expansions of (R,+, · ). In particular, there is a Ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012